<?php

class TicketsnumPeer extends BaseTicketsnumPeer
{
}
